Skunkware 5/Skunkware 5.iso/tls/tls029.1.Z/tls029.1/systems/286

Text File | 1994-04-19 | 1.7 KB | 35 lines

CS-Prolog - Horizon Technologies Limited

KEYWORDS: interprocess communications, library, logic programing, modeling and simulation, parallel processing, language, debugger, Languages, Debuggers & Libraries        , 416

Prolog Language Environment (Interpreter, Compiler)

CS-Prolog stands for Communicating Sequential PROLOG. It is a fully menu-driven
language interpreter, including an interactive multiwindow trace debugger. In
addition to Standard PROLOG features, CS-Prolog allows you to spawn multiple
predicates (or processes), suspend the execution of predicates that will make
it possible to reach a result otherwise unobtainable

To enable such mechanism of time to operate a concept of virtual time has been
incorporated into the language. Time in the context of CS-Prolog is not
connected to realtime nor to the time required for evaluating CS-Prolog
clauses. It is implemented as a floating point number variable that is being
incremental increased. This mechanism is linked with parallel programming to
yield a truly unique approach to logic problem solving. The special
backtracking algorithm assures all possibilities are evaluated

Applications for the explicit use of time include simulation of processes that
can be logically divided in separate, sequentially communicating activities.
CS-Prolog uses a syntax similar to the Edinburgh PROLOG family described in the
book ``Programming in Prolog'' by W.F. Clocksin and C.S. Mellish

Additional special features of CS-Prolog are CLP (Constraint Logic Programming)
paradigm and both discrete and continuous simulation facility. These are very
powerful enhancements not currently offered by competitive Prologs.

Horizon Technologies Limited
Tel: [phone]
Fax: [phone]
Laszlo Schwilgin
Director